Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

Source URL: www.kestrel.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Refinement
• Predicate transformer semantics
• Postcondition
• Program transformation
• Finite-state machine
• Invariant
• Formal verification
• Aspect-oriented software development
• Precondition

PDF Document

Source URL: www.math.stevens.edu

• Finite automata
• Formal languages
• Regular language
• Tree
• Theoretical computer science
• Mathematics
• Finite-state transducer
• Discrete mathematics
• Orbifold

PDF Document

Source URL: lama.univ-savoie.fr

• Logic in computer science
• Game theory
• Models of computation
• Formal methods
• Denotational semantics
• Game semantics
• Semantics
• Strategy
• Equivalence of categories
• Sheaf

PDF Document

Source URL: www.kroening.com

• Formal methods
• Logic in computer science
• Vienna Development Method
• Functional analysis
• General topology
• Wellfoundedness
• Satisfiability modulo theories
• First-order logic
• Constructible universe
• F-algebra
• Ordinal number
• Sequence

PDF Document

Source URL: www.maths.lse.ac.uk

• Formal sciences
• Science and technology
• Science
• Machine learning
• Mathematics
• Cybernetics
• Learning
• Artificial neural network
• Pattern recognition
• Algorithm
• Computer science
• Mathematician

PDF Document

Source URL: www.havelund.com

• Computing
• Software engineering
• Software
• Formal methods
• Theoretical computer science
• Model checkers
• Logic in computer science
• Java Pathfinder
• Model checking
• Formal verification
• Promela
• Abstract interpretation

PDF Document

Source URL: www.cs.cmu.edu

• Cognition
• Academia
• Cognitive science
• Abstraction
• Cybernetics
• Formal sciences
• Computational thinking
• Computer science
• Computing
• Philosophy of artificial intelligence
• Machine learning
• Artificial intelligence

Bernd Fischer Division of Computer Science, University of Stellenbosch Private Bag X1, 7602 Matieland, South Africa Career Summary: • Core competency in software engineering, formal methods, progr

Source URL: www.cs.sun.ac.za

SSDL: overview Goal: Improving the quality of systems and software Means:

Source URL: www.cs.technion.ac.il

• Model checking
• Formal verification
• Software engineering
• Programming language
• Software development process
• Science
• Computing
• Formal methods
• SOAP Service Description Language
• Applied mathematics

BRICS RSH. K. Rohde: Formal Aspects of Polyvariant Specialization BRICS Basic Research in Computer Science

Source URL: www.brics.dk